On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
نویسندگان
چکیده
Article history: Received 29 September 2011 Received in revised form 31 October 2012 Accepted 21 November 2012 Available online 13 December 2012
منابع مشابه
On Qualified Cardinality Restrictions in Fuzzy Description Logics under Łukasiewicz semantics
Fuzzy Description Logics have been proposed as a family of languages to describe vague or imprecise structured knowledge. This work deals with one of the less studied constructors, qualified cardinality restrictions, showing some counter-intuitive behaviours under Łukasiewicz semantics, and proposing a new semantics and the corresponding reasoning algorithm.
متن کاملOn Finitely Valued Fuzzy Description Logics: The Łukasiewicz Case
Following the guidelines proposed by Hájek in [1], some proposals of research on Fuzzy Description Logics (FDLs) were given in [2]. One of them consists in the definition and development of a family of description languages, each one having as underlying fuzzy logic the expansion with an involutive negation and truth constants of the logic defined by a divisible finite t-norm. A general framewo...
متن کاملOn the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem for Product Logic. We complete here the analy...
متن کاملNon-Gödel Negation Makes Unwitnessed Consistency Undecidable
Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show th...
متن کاملFuzzy description logics under Gödel semantics
Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the Gödel family of fuzzy o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Sci.
دوره 227 شماره
صفحات -
تاریخ انتشار 2013